perm filename GOODST.LSP[W83,JMC] blob sn#694771 filedate 1983-01-10 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	goodst.lsp[w83,jmc]	The Goodstein function
C00003 ENDMK
CāŠ—;
goodst.lsp[w83,jmc]	The Goodstein function

(defun ss (x b)
       (if (zerop (caar x))
	   (if (equal 1 (cadar x))
	       (cdr x)
	       (cons (list 0 (sub1 (cadar x))) (cdr x)))
	   (if (equal 1 (cadar x))
	       (cons (ss1 (caar x) b) (cdr x))
	       (cons (ss1 (caar x) b)
		     (cons (list (caar x) (sub1 (cadar x)))
			   (cdr x))))))

(defun ss1 (x b)